In this paper, we investigate the rules that should underlie a computer program that is capable of revising its beliefs or opinions. Such a program maintains a model of its environment, which is updated to reflect perceived changes in the environment. This model is stored in a knowledge base, and the program draws logical inferences from the information in the knowledge base. All the inferences drawn are added to the knowledge base. Among the propositions in the knowledge base, there are (...) some in which the program believes, and there may be others in which the program does not believe. Inputs from the outside world or reasoning carried out by the program may lead to the detection of contradictions, in which case the program has to revise its beliefs in order to get rid of the contradiction and to accommodate the new information. (shrink)

We point out that current belief revision operations can be used to revise non-monotonic theories and we propose a new operation, called permissive belief revision. The underlying idea of permissive belief revision consists of instead of abandoning some beliefs during a revision, transforming those beliefs into weaker ones, while still keeping the resulting belief set consistent. This framework allows us to keep more beliefs than what is usual using existing belief base-based revision theories.

O trabalho que aqui se propões tem por objetivo analisar as obras de Immanuel Kant buscando sintetizar suas contribuições para a compreensão da filosofia enquanto atitude filosófica, num diálogo com as pedagogias ativas, bem como refletir sobre os métodos para o seu ensino. A pesquisa partirá de um viés bibliográfico a fim de trazer os conceitos de autonomia e esclarecimento para uma reflexão sobre os métodos adequados para o despertar de uma consciência filosófica. Embora distante de sua finalidade, a educação (...) deve manter-se em constante busca por melhorias, pelo desenvolvimento da humanidade em todas as suas esferas. (shrink)